Searching for reasoning